formal knowledge meaning in English
形式知识
Examples
- In addition , there are other important issues to be addressed , such as how to represent formal knowledge and to markup logic formula for querying and inference in semantic w eb , and how to improve retrieving efficiency and accuracy of querying via ontology learning , and etc . as the web is thought as a popular distributed platform , into which more and more traditional applications are been transitioned , there are other two promising fields for applying and further developing concepts and methods of ke in semantic web worth paying attention to two fields : iii ( intelligent information integration ) and km ( knowledge management ) in the context of semantic web
这种发展过程在解决目前web面临问题的同时， ontology成熟技术和其他传统技术如何成功地融入到web计算模式中至关重要。除了一些关键的标准和技术外，如何在语义化web中表示形式化的知识、表示查询公式实现查询乃至推理功能、为提高查询效率与准确性进行ontology学习等都是web语义化过程中的主要问题。在传统的应用向web计算环境迁移的同时， ke技术应用于语义化web最具前景的是智能信息集成和km 。 - With the development of technology and productivity , the systems of the industrial process c ontrol become more c omplex due to the lack of precise , formal knowledge about system , strongly nonlinear behavior , the high degree of uncertainty , time varying characteristics , close coupled and high dimensional system , etc . owing to the lack of precise mathematical model , it is difficult , even impossible , to control such complex systems
随着科学技术和生产力的不断发展，在实际工业过程中受控对象越来越复杂，表现为如下一些特征：多输入多输出、时变性、耦合、时滞、非线性、不确定性、信息量少、高性能指标等。诸如此类的复杂系统，由于无法建立系统的精确数学模型，从而使得传统控制理论很难给出一个较好的控制效果，甚至不能控制。